Samenwerking groen en wit is vaak even wennen

Op zorgboerderij De Groote Modderkolk aan de rand van de Veluwe wonen tien verstandelijk gehandicapten. Samen met vijftien gehandicapten die alleen overdag naar de boerderij komen, werken ze in de omliggende bos- en heidegebieden van Natuurmonumenten. Ze helpen er met snoeien en het onderhoud van paden en parkeerterreinen. Een zorgboer van Natuurmonumenten begeleidt het boerderijwerk

Trends in woonbossen op Groot-Veluwe en de interactie tussen bewonersgroepen. Motto: Bomen doe je niet alleen!

Eerste, prijswinnend essay uit een wedstrijd die in 2002 werd uitgeschreven door de Stichting Koningsschool. In 2150 staat laaggelegen Nederland onder water en woont men, behalve in floating cities zoals New Gouda en New Zoeterzee, hoog en droog in bostorens en woonbossen, o.a. in woonbos Groot-Veluw

De bezweringsformule voorbij; ruimtelijke kwaliteit ontrafeld met een analysematrix

Uitleg van het begrip ruimtelijke kwaliteit, aan de hand van de matrix, gevormd door enerzijds de begrippen: gebruikswaarde, belevingswaarde, toekomstwaarde; en anderzijds de begrippen: economische doelmatigheid, sociale rechtvaardigheid, ecologische duurzaamheid en culturele identitei

Combineren met natuur : economische, sociale en ecologische duurzaamheid van functiecombinaties

Om combinaties van natuur met gebruiksfuncties te ordenen is een kapstok ontworpen. Een inventarisatie van ruim driehonderd praktijkvoorbeelden, `opgehangen' aan de kapstok, brengt de ruime variatie in functiecombinaties in beeld. Een beoordeling van dertig voorbeelden wijst projecten aan die economisch, sociaal en ecologisch duurzaam zijn. Een analyse van maatschappelijke trends en ruimtelijke potenties geeft inzicht in de verspreidingsmogelijkheden van functiecombinaties. Recepten voor de verspreiding van succesvolle, duurzame functiecombinaties zijn niet te geven, omdat succesvolle projecten altijd zijn toegesneden op specifieke, lokale omstandigheden. De (rijks)overheid kan functiecombinaties stimuleren door te inspireren, partners bij elkaar tebrengen, en te faciliteren

Linearization of CIF Through SOS

Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both from a theoretical and a practical point of view. In particular, a linearization algorithm is needed for the Compositional Interchange Format (CIF), an automaton based modeling language. The problem of devising efficient linearization algorithms is not trivial, and has been already addressed in literature. However, the linearization algorithms obtained are the result of an inventive process, and the proof of correctness comes as an afterthought. Furthermore, the semantic specification of the language does not play an important role on the design of the algorithm. In this work we present a method for obtaining an efficient linearization algorithm, through a step-wise refinement of the SOS rules of CIF. As a result, we show how the semantic specification of the language can guide the implementation of such a procedure, yielding a simple proof of correctness.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

The objective burden in partners of heart failure patients; development and initial validation of the Dutch objective burden inventory

BACKGROUND: Measures on objective caregiver burden in partners of Heart Failure patients are hardly available and never include HF specific aspects. AIM: The main objective of our study was to develop an inventory that assesses the objective caregiver burden of partners of HF patients, including the full range of potential care giving demands. METHODS: To develop the inventory, six domains of caregiving demands were identified. Items for the domains were generated from the literature, expert opinion and existing scales. The original 50-items self-report inventory was administered to 321 partners of HF patients. Demographic data of HF partners were collected by questionnaire. Clinical data of the HF patients were collected by chart review. RESULTS: Component analysis led to exclusion of 12 original items and to a meaningful four-factor solution with a total explained variance of 43%. The components reflected four different kinds of care giving tasks; personal care, emotional, motivational and practical (treatment related) support. They demonstrated good internal consistency and initial validity was supported by a pattern of meaningful associations with external variables. CONCLUSION: The Objective Burden Inventory is a promising inventory to assess objective care giving tasks performed by HF partners, including emotional and motivational support. It provides information on the caregiver situation that may help to develop effective intervention

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601